Turning Sketches into Working Geometry
نویسندگان
چکیده
We describe a program called SketchIT that uses a description of desired behavior to transform a sketch of a mechanical device into a “BEP-Model,” a parametric model with constraints that ensure the device produces the desired behavior. The program also generates alternative implementations for the design, each of which is represented as a BEP-Model. The program is based on qualitative configuration space, a novel representation for mechanical behavior.
منابع مشابه
From Pen-and-Paper Sketches to Prototypes: The Advanced Interaction Design Environment
Pen and paper is still the best tool for sketching GUIs. However, sketches cannot be executed, at best we have facilitated or animated scenarios. The Advanced User Interaction Environment facilitates turning hand-drawn sketches into executable prototypes.
متن کاملWhat do Sketches Say about Thinking?
Sketches are produced in many domains to communicate with self or others. They are a kind of external representation serving as a cognitive tool to augment memory and information processing by relieving the mind of some of those burdens. Sketches schematize. They do not portray reality; rather they convey conceptions of reality. Sketches use elements and spatial relations on paper to represent ...
متن کاملThe Role of Sketches in Supporting Near-Synchronous Remote Communication in Computer Supported Collaborative Design
This paper presents recent research into the functions and value of sketch outputs during computer supported collaborative design. Sketches made primarily exploiting whiteboard technology are shown to support subjects engaged in remote collaborative design, particularly when constructed in ‘nearsynchronous’ communication. The authors define near-synchronous communication and speculate that it i...
متن کاملSemantic Informational Technologies
This article describes the automatic processing of medical texts in order to extract important patient characteristics, thus turning the free text description into a structured internal representation. Shallow text analysis is implemented due to the medical language complexity. The paper sketches the information extraction process and discusses the role of domain knowledge in text analysis. The...
متن کاملSketch-as-Proof
This paper presents an extension of Gentzen’s LK, called LPGK, which is suitable for expressing projective geometry and for deducing theorems of plane projective geometry. The properties of this calculus are investigated and the cut elimination theorem for LPGK is proven. A formulization of sketches is presented and the equivalence between sketches and formal proofs is demonstrated.
متن کامل